Varieties of a closed category
نویسندگان
چکیده
منابع مشابه
The symmetric monoidal closed category of cpo $M$-sets
In this paper, we show that the category of directed complete posets with bottom elements (cpos) endowed with an action of a monoid $M$ on them forms a monoidal category. It is also proved that this category is symmetric closed.
متن کاملOn Varieties and Covarieties in a Category
A concept of equation morphism is introduced for every endofuctor F of a cocomplete category C. Equationally defined classes of F–algebras for which free algebras exist are called varieties. Every variety is proved to be monadic over C, and conversely, every monadic category is equivalent to a variety. And the Birkhoff Variety Theorem is proved for “Set–like” categories. By dualizing, we arrive...
متن کاملDetermining Closed Model Category Structures
Closed model categories are a general framework introduced by Quillen [15] in which one can do homotopy theory. An alternative framework has been developed by Baues [2]. Putting a closed model structure on a category not only allows one to use techniques of homotopy theory to study it but also allows one to better understand the category through the concepts and constructions that come with the...
متن کاملA Cartesian Closed Extension of the Category of Locales
We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves products and all exponentials of exponentiable locales.
متن کاملA Cartesian closed category of event structures with quotients
We introduce a new class of morphisms for event structures. The category obtained is cartesian closed, and a natural notion of quotient event structure is defined within it. We study in particular the topological space of maximal configurations of quotient event structures. We introduce the compression of event structures as an example of quotient: the compression of an event structure E is a m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1977
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s000497270002308x